printfn
    "%d"
    1
